Leyes lógicas simplificacion de proposiciones profeguille